منابع مشابه
Simulating Expansions without Expansions
We add extensional equalities for the functional and product types to the typed -calculus with not only products and terminal object, but also sums and bounded recursion (a version of recursion that does not allow recursive calls of infinite length). We provide a confluent and strongly normalizing (thus decidable) rewriting system for the calculus, that stays confluent when allowing unbounded r...
متن کاملNonharmonic Gabor Expansions
We consider Gabor systems generated by a Gaussian function and prove certain classical results of Paley and Wiener on nonharmonic Fourier series of complex exponentials for the Gabor expansion. In particular, we prove a version of Plancherel-Po ́lya theorem for entire functions with finite order of growth and use the Hadamard factorization theorem to study regularity, exactness and deficienc...
متن کاملGeneralized Conjugate and Analytic Functions without Expansions.
On a Lebesgue measure space with measure element do, and total measure finite or infinite, we consider the complex-valued measurable functions f, y, so, ., each determined only a.e., and each belonging to all L,-classes simultaneously, 1<r< a. We donote (i) by F = {f} a ring of functions with complex constants and ordinary multiplication and closed under the involution: if f -= f + if2 e F then...
متن کاملnonharmonic gabor expansions
we consider gabor systems generated by a gaussian function and prove certain classical results of paley and wiener on nonharmonic fourier series of complex exponentials for the gabor expansion. in particular, we prove a version of plancherel-po ́lya theorem for entire functions with finite order of growth and use the hadamard factorization theorem to study regularity, exactness and deficienc...
متن کاملStability of $g$-Frame Expansions
In this paper we investigate the stability of one-sided perturbation to g-frame expansions. We show that if $Lambda$ is a g-frame of a Hilbert space $mathcal{H}$, $Lambda_{i}^{a}=Lambda_{i}+Theta_{i}$ where $Theta_{i} in mathcal{L}(mathcal{H},mathcal{H}_{i})$, and $widetilde{f}=sum_{i in J}Lambda_{i}^{star}widetilde{Lambda}_{i}^{a}f$, $widehat{f}=sum_{i in J}(Lambda_{i}^{a})^{star}widetilde{Lam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 1994
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129500000505